21. Logic program synthesis and transformation - meta-programming in logic :
Author: Laurent Fribourg, Franco Turini (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
22. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
Author: edited by Austin Melton
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
Classification :
QA
76
.
L4
v
.
239
23. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
Author: M. Main...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
298
24. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M378
1988
25. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
26. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings
Author: edited by Austin Melton
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
239
27. Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
Author: S. Brookes...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
802
28. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
Author: S. Brookes...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
598
29. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
30. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
31. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
Author: Marisa Venturini Zilli )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
280
32. Natural language at the computer : Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988: Proceedings
Author: A. Blaser, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax -- Congresses ، Programming languages )Electronic computers(,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
320
33. Natural language at the computer: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
N38
.
S38
1988
34. Natural language understanding and logic programming, II
Author: / edited by Veronica Dahl and Patrick Saint-Dizier
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers)- Semantics- Congresses,Logic programming- Congresses
Classification :
QA76
.
7
.
I578
1987
35. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
Author: edited by Veronica Dahl and Patrick Saint-Dizier
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
Classification :
QA
76
.
63
.
I58
1987
36. PEPM ʹ09 : proceedings of the ...
Author: ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation (Savannah, Georgia, USA : 2009)
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Compiling (Electronic computers) - Congresses ► Programming languages (Electronic computers) -Congresses ► Programming languages (Electronic computers) - Semantics - Congresses ► Computer programming - Congresses
Classification :
A184p
37. Practical aspects of declarative languages
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Programming languages (Electronic computers) ; Semantics ; Congresses. ;
38. Practical aspects of declarative languages :
Author: Pascal Van Hentenryck (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
7
.
P32
2006
39. Practical aspects of declarative languages
Author: Andy Gill, Terrance Swift (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
Classification :
QA76
.
615
.
P33
2009eb
40. Practical aspects of declarative languages
Author: / Michael Hanus (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Semantics--Congresses
Classification :
QA
,
76
.
7
,.
P32
,
2007
